-
1 функциональный символ
Большой англо-русский и русско-английский словарь > функциональный символ
-
2 functional letter
Англо-русский словарь технических терминов > functional letter
-
3 functional symbol
Англо-русский словарь технических терминов > functional symbol
-
4 function character
-
5 functional symbol
-
6 function character
The New English-Russian Dictionary of Radio-electronics > function character
-
7 functional symbol
The New English-Russian Dictionary of Radio-electronics > functional symbol
-
8 functional character
English-Russian dictionary of computer science and programming > functional character
-
9 functional symbol
English-Russian dictionary of computer science and programming > functional symbol
-
10 functional symbol
-
11 functional character
English-Russian information technology > functional character
-
12 functional symbol
English-Russian dictionary of electronics > functional symbol
-
13 functional symbol
-
14 functional symbol
English-Russian dictionary on nuclear energy > functional symbol
-
15 functional symbol
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > functional symbol
-
16 special character
1) Техника: специальный знак, специальный символ, функциональный символ2) Сотовая связь: специальный символ набора -
17 function character
1) Техника: служебная кодовая комбинация2) Вычислительная техника: управляющий символ3) Программирование: функциональный символ4) Макаров: функциональная кодовая комбинация -
18 functional character
1) Техника: управляющий символ2) Вычислительная техника: функциональный символ3) Космонавтика: управляющий знак -
19 operator symbol
Большой англо-русский и русско-английский словарь > operator symbol
-
20 function letter
Математика: функциональная буква, функциональный символ
См. также в других словарях:
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Логика второго порядка — в математической логике формальная система, расширяющая логику первого порядка[1] возможностью квантификации общности и существования не только над атомами, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В… … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Логика предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Предикатная логика — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
ГОМОМОРФИЗМ — морфизм в категории алгебраических систем. Г. отображение алгебраич. системы , сохраняющее основные операции и основные отношения; точнее, пусть алгебраич. система с основными операциями и основными отношениями , Г. системы в однотипную ей… … Математическая энциклопедия
ГОСТ 27833-88: Средства отображения информации. Термины и определения — Терминология ГОСТ 27833 88: Средства отображения информации. Термины и определения оригинал документа: 12. Алфавит средства отображения информации Алфавит Alphabet Набор знаков, принятых для данного средства отображения информации Определения… … Словарь-справочник терминов нормативно-технической документации
J (язык программирования) — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия